翻訳と辞書
Words near each other
・ Bill Rollinson
・ Bill Rollo
・ Bill Roman
・ Bill Romanowski
・ Bill Rompkey
・ Bill Ronald
・ Bill Rooney
・ Bill Roorbach
・ Bill Roost
・ Bill Root
・ Bill Root (bridge)
・ Bill Roper
・ Bill Roper (American football)
・ Bill Roper (filker)
・ Bill Roper (video game producer)
Bill Roscoe
・ Bill Rose (footballer)
・ Bill Rosendahl
・ Bill Rosinski
・ Bill Ross (Australian politician)
・ Bill Rotes
・ Bill Roth (sportscaster)
・ Bill Routledge
・ Bill Routley
・ Bill Rowe
・ Bill Rowe (sound engineer)
・ Bill Rowekamp
・ Bill Rowley
・ Bill Rowling
・ Bill Roycroft


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Bill Roscoe : ウィキペディア英語版
Bill Roscoe

Andrew William "Bill" Roscoe is a Scottish computer scientist. He was Head of the Department of Computer Science, University of Oxford from 2003 to 2014, and is a Professor of Computer Science. He is also a Fellow of University College, Oxford.
Professor Roscoe works in the area of concurrency theory, in particular the semantic underpinning of Communicating Sequential Processes (CSP) and the associated occam programming language with Sir Tony Hoare.〔Roscoe, A.W., Jones, C.B. and Wood, K. (eds.), ''Reflections on the Work of C.A.R. Hoare''. Springer. ISBN 978-1-84882-911-4 (2010).〕 He co-founded ''Formal Systems (Europe) Limited'' and worked on the algorithms for the ''Failures-Divergence Refinement (FDR)'' tool.
== References ==


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Bill Roscoe」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.